package tarantula.experiment.jdkutils;

import junit.framework.TestCase;

public class JDKFailedUnsimplifiedTestsBug2 extends TestCase {



	  public void test5() throws Throwable {

	    java.lang.Byte var0 = new java.lang.Byte((byte)1);
	    java.util.List var1 = java.util.Collections.singletonList((java.lang.Object)var0);
	    java.util.TreeSet var2 = new java.util.TreeSet((java.util.Collection)var1);
	    java.util.TreeSet var3 = new java.util.TreeSet((java.util.SortedSet)var2);
	    java.util.SortedSet var4 = java.util.Collections.unmodifiableSortedSet((java.util.SortedSet)var3);
	    java.lang.Object var5 = var3.pollLast();
	    java.lang.Byte var6 = new java.lang.Byte((byte)1);
	    java.util.List var7 = java.util.Collections.singletonList((java.lang.Object)var6);
	    java.util.TreeSet var8 = new java.util.TreeSet((java.util.Collection)var7);
	    java.lang.Object var9 = var8.clone();
	    java.util.Iterator var10 = var8.iterator();
	    java.util.Collection var11 = java.util.Collections.unmodifiableCollection((java.util.Collection)var8);
	    java.lang.Object var12 = var8.pollLast();
	    java.util.Set var13 = java.util.Collections.emptySet();
	    java.util.TreeSet var14 = new java.util.TreeSet((java.util.Collection)var13);
	    var14.clear();
	    boolean var16 = var8.retainAll((java.util.Collection)var14);
	    java.lang.Integer var17 = new java.lang.Integer(10);
	    java.lang.Integer var18 = new java.lang.Integer(0);
	    java.util.List var19 = java.util.Collections.nCopies((int)var17, (java.lang.Object)var18);
	    java.lang.Integer var20 = new java.lang.Integer(100);
	    java.util.Collections.rotate(var19, (int)var20);
	    java.util.Set var22 = java.util.Collections.emptySet();
	    java.util.TreeSet var23 = new java.util.TreeSet((java.util.Collection)var22);
	    java.util.Enumeration var24 = java.util.Collections.enumeration((java.util.Collection)var23);
	    java.util.List var25 = java.util.Collections.nCopies((int)var20, (java.lang.Object)var24);
	    boolean var26 = var14.add((java.lang.Object)var25);
	    boolean var27 = var3.addAll((java.util.Collection)var14);
	    java.util.TreeSet var28 = new java.util.TreeSet((java.util.SortedSet)var14);
	    int var29 = var28.size();
	    java.util.Set var30 = java.util.Collections.synchronizedSet((java.util.Set)var28);
	    
	    // Checks the contract:  var30.equals(var30)
	    assertTrue("Contract failed: var30.equals(var30)", var30.equals(var30));

	  }

	  public void test6() throws Throwable {

	    java.lang.Byte var0 = new java.lang.Byte((byte)1);
	    java.util.List var1 = java.util.Collections.singletonList((java.lang.Object)var0);
	    java.util.TreeSet var2 = new java.util.TreeSet((java.util.Collection)var1);
	    java.util.TreeSet var3 = new java.util.TreeSet((java.util.SortedSet)var2);
	    java.lang.Object var4 = var2.pollLast();
	    java.lang.Integer var5 = new java.lang.Integer(10);
	    java.lang.Integer var6 = new java.lang.Integer(0);
	    java.util.List var7 = java.util.Collections.nCopies((int)var5, (java.lang.Object)var6);
	    java.lang.Integer var8 = new java.lang.Integer(10);
	    java.lang.Integer var9 = new java.lang.Integer(0);
	    java.util.List var10 = java.util.Collections.nCopies((int)var8, (java.lang.Object)var9);
	    int var11 = java.util.Collections.lastIndexOfSubList(var7, var10);
	    boolean var12 = var2.removeAll((java.util.Collection)var7);
	    java.lang.Double var13 = new java.lang.Double(10.0d);
	    java.lang.Byte var14 = new java.lang.Byte((byte)1);
	    java.util.List var15 = java.util.Collections.singletonList((java.lang.Object)var14);
	    java.util.TreeSet var16 = new java.util.TreeSet((java.util.Collection)var15);
	    java.lang.Object[] var17 = var16.toArray();
	    java.lang.Long var18 = new java.lang.Long(10L);
	    java.lang.Boolean var19 = new java.lang.Boolean(true);
	    java.util.NavigableSet var20 = var16.headSet((java.lang.Object)var18, (boolean)var19);
	    var16.clear();
	    java.util.Map var22 = java.util.Collections.singletonMap((java.lang.Object)var13, (java.lang.Object)var16);
	    java.lang.Object[] var23 = var16.toArray();
	    java.lang.Byte var24 = new java.lang.Byte((byte)1);
	    java.util.List var25 = java.util.Collections.singletonList((java.lang.Object)var24);
	    java.util.TreeSet var26 = new java.util.TreeSet((java.util.Collection)var25);
	    java.lang.Object[] var27 = var26.toArray();
	    java.lang.Long var28 = new java.lang.Long(10L);
	    java.lang.Boolean var29 = new java.lang.Boolean(true);
	    java.util.NavigableSet var30 = var26.headSet((java.lang.Object)var28, (boolean)var29);
	    java.util.NavigableSet var31 = var26.descendingSet();
	    boolean var32 = var16.add((java.lang.Object)var31);
	    java.lang.String var33 = "";
	    java.util.SortedSet var34 = var16.tailSet((java.lang.Object)var33);
	    java.util.SortedSet var35 = var2.headSet((java.lang.Object)var33);
	    java.util.Collection var36 = java.util.Collections.synchronizedCollection((java.util.Collection)var2);
	    java.lang.Object[] var37 = var2.toArray();
	    java.util.Comparator var38 = java.util.Collections.reverseOrder();
	    java.util.TreeSet var39 = new java.util.TreeSet(var38);
	    java.lang.Integer var40 = new java.lang.Integer(10);
	    java.lang.Integer var41 = new java.lang.Integer(0);
	    java.util.List var42 = java.util.Collections.nCopies((int)var40, (java.lang.Object)var41);
	    java.lang.Integer var43 = new java.lang.Integer(10);
	    java.lang.Integer var44 = new java.lang.Integer(0);
	    java.util.List var45 = java.util.Collections.nCopies((int)var43, (java.lang.Object)var44);
	    int var46 = java.util.Collections.lastIndexOfSubList(var42, var45);
	    boolean var47 = var39.removeAll((java.util.Collection)var42);
	    java.util.List var48 = java.util.Collections.emptyList();
	    java.util.Set var49 = java.util.Collections.emptySet();
	    java.util.TreeSet var50 = new java.util.TreeSet((java.util.Collection)var49);
	    java.util.NavigableSet var51 = var50.descendingSet();
	    int var52 = java.util.Collections.binarySearch(var48, (java.lang.Object)var50);
	    java.lang.Byte var53 = new java.lang.Byte((byte)1);
	    java.util.List var54 = java.util.Collections.singletonList((java.lang.Object)var53);
	    java.util.TreeSet var55 = new java.util.TreeSet((java.util.Collection)var54);
	    boolean var56 = java.util.Collections.disjoint((java.util.Collection)var48, (java.util.Collection)var54);
	    java.util.Set var57 = java.util.Collections.singleton((java.lang.Object)var48);
	    java.lang.Byte var58 = new java.lang.Byte((byte)1);
	    java.util.List var59 = java.util.Collections.singletonList((java.lang.Object)var58);
	    java.util.TreeSet var60 = new java.util.TreeSet((java.util.Collection)var59);
	    java.lang.Object[] var61 = var60.toArray();
	    java.lang.Long var62 = new java.lang.Long(10L);
	    java.lang.Boolean var63 = new java.lang.Boolean(true);
	    java.util.NavigableSet var64 = var60.headSet((java.lang.Object)var62, (boolean)var63);
	    java.util.NavigableSet var65 = var60.descendingSet();
	    java.util.TreeSet var66 = new java.util.TreeSet((java.util.SortedSet)var60);
	    int var67 = java.util.Collections.frequency((java.util.Collection)var48, (java.lang.Object)var66);
	    java.lang.Long var68 = new java.lang.Long(10L);
	    java.util.Set var69 = java.util.Collections.singleton((java.lang.Object)var68);
	    boolean var70 = var66.retainAll((java.util.Collection)var69);
	    java.util.TreeSet var71 = new java.util.TreeSet((java.util.SortedSet)var66);
	    boolean var72 = var39.add((java.lang.Object)var66);
	    java.util.Iterator var73 = var39.descendingIterator();
	    java.lang.Object var74 = var39.clone();
	    java.lang.Object var75 = var2.floor((java.lang.Object)var39);
	    java.util.Set var76 = java.util.Collections.synchronizedSet((java.util.Set)var39);
	    
	    // Checks the contract:  var76.equals(var76)
	    assertTrue("Contract failed: var76.equals(var76)", var76.equals(var76));

	  }
}
